Quantitative modeling and analysis of substation automation systems | IEEE Conference Publication | IEEE Xplore